Extended Abstract: Dynamic Proof Pages

Reading a formal proof script written in a procedural (command-driven) style is difficult, bordering on impossible, without access to an interpreter for the script, that generates the states based on the commands. The Proviola system replaces the need for this interpreter, storing responses and displaying them on-demand. This abstract describes a natural extension to the Proviola: instead of working on plain text files, the improved system takes an HTML rendering of the script, and decorates it with the proof states. The decorated page can be used as a Wiki page, generated out of a script file.